1. A beginner's guide to Programming logic and design
پدیدآورنده : Farrell, Joyce.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F37
2. An object-oriented approach to programming logic and design
پدیدآورنده : Farrell, Joyce
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F3O2
3. CSL'87 lst workshop on computer science logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Design and construction-- Congresses,، Logic design-- Computer programming-- Congresses
رده :
QA
76
.
6
.
W6
1987
4. Digital System design and Microprocesors
پدیدآورنده : / John P. Hayes,Hayes
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Digital integrated circuits,Logic design,Microprocessors,Microcomputers- Programming
رده :
TK
7874
.
H393
5. Digital system design and microprocessors
پدیدآورنده : Hayes, John Patrick
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Digital integrated circuits,Logic design,، Microprocessors,Programming ، Microcomputers
رده :
TK
7874
.
H393
1984
6. Digital system design and microprocessors
پدیدآورنده : John P. Hayes
موضوع : Digital integrated circuits,Logic design,Microprocessors,Microcomputers -- programming
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
7. Digital system design and microprocessors
پدیدآورنده : Hayes, John P.)John Patrick(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Digital integrated circuits,، Logic design,، Microprocessors,، Microcomputers - Programming
رده :
TK
7874
.
H393
1984
8. Digital system design and microprocessors
پدیدآورنده : Hayes, John P.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Digital integrated circuits,، Logic design,، Microprocessors,، Microcomputers- Programming
رده :
TK
7874
.
H393
9. Digital system design and microprocessors
پدیدآورنده :
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Digital integrated circuits,Logic design,Microprocessors,Microcomputers-programming
رده :
TK
7874
.
H393
1984
10. Digital system design & microprocessors
پدیدآورنده : HAYES,JOHN PATRICK
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : DIGITAL INTEGRATED CIRCUITS , LOGIC DESIGN , MICROCOMPUTERS-PROGRAMMING
رده :
TK
7874
.
H39
11. Foundations of probabilistic logic programming :
پدیدآورنده : Fabrizio Riguzzi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming.,Probabilities-- Data processing.,COMPUTERS-- Logic Design.,Logic programming.,Probabilities-- Data processing.
رده :
QA76
.
63
.
R54
2018
12. Fuzzy systems design: social and engineering applications
پدیدآورنده : Leonid Reznik, Vladimir Dimitrov, Janusz Kacprzyk )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، System design,، Fuzzy systems,، Logic programming
رده :
QA
76
.
9
.
S88
F89
1998
13. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
14. Interactive relational database design : a logic programming implementation
پدیدآورنده : Bagchi, Tapan P.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Database design,، Relational databases,، Logic programming
رده :
QA
76
.
L28
Vol
.
402
15. Interactive relational database design: a logic programming implementation
پدیدآورنده : Bagchi, Tapan P.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Database design,، Relational databases,، Logic programming
رده :
QA
76
.
9
.
D26
.
B34
1989
16. P-Functions and Boolean matrix factorization : a unified approch for wired, programmed, and microprogrammed implementations of discrete algorithms
پدیدآورنده : Thayse, Andre, 0491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming,، Logic design,، Algorithms,، Algebra, Boolean
رده :
QA
76
.
L28
Vol
.
175
17. P-functions and Boolean matrix factorization: a unified approach for wired, programmed, and microporogrammed implementations of discrete algorithms
پدیدآورنده : Thayse, Andre
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Logic design,، Computer algorithms,، Algebra, Boolean
رده :
QA
76
.
6
.
T4452
1984
18. P-functions and Boolean matrix factorization : a unified approach for wired, programmed, and microprogrammed implementations of discrete algorithms
پدیدآورنده : Thayse, Andre
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Logic design,، Computer algorithms,، Algebra, Boolean
رده :
QA
76
.
L4
v
.
175
19. Process Algebra for Parallel and Distributed Processing
پدیدآورنده :
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science
20. Programming logic and design :
پدیدآورنده : Joyce Farrell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic design.,Logic programming.
رده :
QA76
.
63
J693
2015